control punch - German English Dictionary